pub(open) trait T {
  f(Self) -> Int
}

impl T with f(self : Self) -> Int {
  ignore(self)
  0
}